Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries

The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the "correct" algebraic structure for Union of Conjunctive Queries, in the sense that its use allows provenance to be invariant under certain expected query equivalence axioms. In this paper we present the first (to our knowledge) algebraic provenance model, for a fragment of update queries, that is invariant under set equivalence. The fragment that we focus on is that of hyperplane queries, previously studied in multiple lines of work. Our algebraic provenance structure and corresponding provenance-aware semantics are based on the sound and complete axiomatization of Karabeg and Vianu. We demonstrate that our construction can guide the design of concrete provenance model instances for different applications. We further study the efficient generation and storage of provenance for hyperplane update queries. We show that a naive algorithm can lead to an exponentially large provenance expression, but remedy this by presenting a normal form which we show may be efficiently computed alongside query evaluation. We experimentally study the performance of our solution and demonstrate its scalability and usefulness, and in particular the effectiveness of our normal form representation

Hypothetical Reasoning via Provenance Abstraction

Data analytics often involves hypothetical reasoning: repeatedly modifying the data and observing the induced effect on the computation result of a data-centric application. Previous work has shown that fine-grained data provenance can help make such an analysis more efficient: instead of a costly re-execution of the underlying application, hypothetical scenarios are applied to a pre-computed provenance expression. However, storing provenance for complex queries and large-scale data leads to a significant overhead, which is often a barrier to the incorporation of provenance-based solutions. To this end, we present a framework that allows to reduce provenance size. Our approach is based on reducing the provenance granularity using user defined abstraction trees over the provenance variables; the granularity is based on the anticipated hypothetical scenarios. We formalize the tradeoff between provenance size and supported granularity of the hypothetical reasoning, and study the complexity of the resulting optimization problem, provide efficient algorithms for tractable cases and heuristics for others. We experimentally study the performance of our solution for various queries and abstraction trees. Our study shows that the algorithms generally lead to substantial speedup of hypothetical reasoning, with a reasonable loss of accuracy

Big Data Analysis

The value of big data is predicated on the ability to detect trends and patterns and more generally to make sense of the large volumes of data that is often comprised of a heterogeneous mix of format, structure, and semantics. Big data analysis is the component of the big data value chain that focuses on transforming raw acquired data into a coherent usable resource suitable for analysis. Using a range of interviews with key stakeholders in small and large companies and academia, this chapter outlines key insights, state of the art, emerging trends, future requirements, and sectorial case studies for data analysis

Family medicine in post-communist Europe needs a boost. Exploring the position of family medicine in healthcare systems of Central and Eastern Europe and Russia

<p>Abstract</p> <p>Background</p> <p>The countries of Central and Eastern Europe have experienced a lot of changes at the end of the 20th century, including changes in the health care systems and especially in primary care. The aim of this paper is to systematically assess the position of family medicine in these countries, using the same methodology within all the countries.</p> <p>Methods</p> <p>A key informants survey in 11 Central and Eastern European countries and Russia using a questionnaire developed on the basis of systematic literature review.</p> <p>Results</p> <p>Formally, family medicine is accepted as a specialty in all the countries, although the levels of its implementation vary across the countries and the differences are important. In most countries, solo practice is the most predominant organisational form of family medicine. Family medicine is just one of many medical specialties (e.g. paediatrics and gynaecology) in primary health care. Full introduction of family medicine was successful only in Estonia.</p> <p>Conclusions</p> <p>Some of the unification of the systems may have been the result of the EU request for adequate training that has pushed the policies towards higher standards of training for family medicine. The initial enthusiasm of implementing family medicine has decreased because there was no initiative that would support this movement. Internal and external stimuli might be needed to continue transition process.</p

Identification of Early Requirements for Preplacodal Ectoderm and Sensory Organ Development

Preplacodal ectoderm arises near the end of gastrulation as a narrow band of cells surrounding the anterior neural plate. This domain later resolves into discrete cranial placodes that, together with neural crest, produce paired sensory structures of the head. Unlike the better-characterized neural crest, little is known about early regulation of preplacodal development. Classical models of ectodermal patterning posit that preplacodal identity is specified by readout of a discrete level of Bmp signaling along a DV gradient. More recent studies indicate that Bmp-antagonists are critical for promoting preplacodal development. However, it is unclear whether Bmp-antagonists establish the proper level of Bmp signaling within a morphogen gradient or, alternatively, block Bmp altogether. To begin addressing these issues, we treated zebrafish embryos with a pharmacological inhibitor of Bmp, sometimes combined with heat shock-induction of Chordin and dominant-negative Bmp receptor, to fully block Bmp signaling at various developmental stages. We find that preplacodal development occurs in two phases with opposing Bmp requirements. Initially, Bmp is required before gastrulation to co-induce four transcription factors, Tfap2a, Tfap2c, Foxi1, and Gata3, which establish preplacodal competence throughout the nonneural ectoderm. Subsequently, Bmp must be fully blocked in late gastrulation by dorsally expressed Bmp-antagonists, together with dorsally expressed Fgf and Pdgf, to specify preplacodal identity within competent cells abutting the neural plate. Localized ventral misexpression of Fgf8 and Chordin can activate ectopic preplacodal development anywhere within the zone of competence, whereas dorsal misexpression of one or more competence factors can activate ectopic preplacodal development in the neural plate. Conversely, morpholino-knockdown of competence factors specifically ablates preplacodal development. Our work supports a relatively simple two-step model that traces regulation of preplacodal development to late blastula stage, resolves two distinct phases of Bmp dependence, and identifies the main factors required for preplacodal competence and specification

Sex- and age-related differences in the management and outcomes of chronic heart failure: an analysis of patients from the ESC HFA EORP Heart Failure Long-Term Registry

Aims: This study aimed to assess age- and sex-related differences in management and 1-year risk for all-cause mortality and hospitalization in chronic heart failure (HF) patients. Methods and results: Of 16 354 patients included in the European Society of Cardiology Heart Failure Long-Term Registry, 9428 chronic HF patients were analysed [median age: 66 years; 28.5% women; mean left ventricular ejection fraction (LVEF) 37%]. Rates of use of guideline-directed medical therapy (GDMT) were high (angiotensin-converting enzyme inhibitors/angiotensin receptor blockers, beta-blockers and mineralocorticoid receptor antagonists: 85.7%, 88.7% and 58.8%, respectively). Crude GDMT utilization rates were lower in women than in men (all differences: P\ua0 64 0.001), and GDMT use became lower with ageing in both sexes, at baseline and at 1-year follow-up. Sex was not an independent predictor of GDMT prescription; however, age >75 years was a significant predictor of GDMT underutilization. Rates of all-cause mortality were lower in women than in men (7.1% vs. 8.7%; P\ua0=\ua00.015), as were rates of all-cause hospitalization (21.9% vs. 27.3%; P\ua075 years. Conclusions: There was a decline in GDMT use with advanced age in both sexes. Sex was not an independent predictor of GDMT or adverse outcomes. However, age >75 years independently predicted lower GDMT use and higher all-cause mortality in patients with LVEF 6445%

Candidate Gene Screen in the Red Flour Beetle Tribolium Reveals Six3 as Ancient Regulator of Anterior Median Head and Central Complex Development

Several highly conserved genes play a role in anterior neural plate patterning of vertebrates and in head and brain patterning of insects. However, head involution in Drosophila has impeded a systematic identification of genes required for insect head formation. Therefore, we use the red flour beetle Tribolium castaneum in order to comprehensively test the function of orthologs of vertebrate neural plate patterning genes for a function in insect head development. RNAi analysis reveals that most of these genes are indeed required for insect head capsule patterning, and we also identified several genes that had not been implicated in this process before. Furthermore, we show that Tc-six3/optix acts upstream of Tc-wingless, Tc-orthodenticle1, and Tc-eyeless to control anterior median development. Finally, we demonstrate that Tc-six3/optix is the first gene known to be required for the embryonic formation of the central complex, a midline-spanning brain part connected to the neuroendocrine pars intercerebralis. These functions are very likely conserved among bilaterians since vertebrate six3 is required for neuroendocrine and median brain development with certain mutations leading to holoprosencephaly